La teoria degli automi di Von Neumann
La logica degli automi dovr_:
- Tener conto della lunghezza delle catene di ragionamento.
- Trattare le operazioni logiche con procedimenti che consentono eccezioni, con probabilit_ bassa, ma non nulla.
- Creare una teoria la cui natura non sar_ rigidamente regolata dal Ågtutto o nienteÅh come la logica formale attuale.